Computational Complexity Certification for Real-Time MPC With Input Constraints Based on the Fast Gradient Method

Identification of Fault Estimation Filter From I/O Data for Systems With Stable Inversion . . . J. Dong and M. Verhaegen 1347 Output-Based Event-Triggered Control With Guaranteed -Gain and Improved and Decentralized Event-Triggering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . M. C. F. Donkers and W. P. M. H. Heemels 1362 Combining Convex–Concave Decompositions and Linearization Approaches for Solving BMIs, With Application to Static Output Feedback . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Q. Tran Dinh, S. Gumussoy, W. Michiels, and M. Diehl 1377 Computational Complexity Certification for Real-Time MPC With Input Constraints Based on the Fast Gradient Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . S. Richter, C. N. Jones, and M. Morari 1391 Adaptive Information Collection by Robotic Sensor Networks for Spatial Estimation . . . . . . . . . . R. Graham and J. Cortés 1404 Stability of a Class of Linear Switching Systems with Applications to Two Consensus Problems . . . . Y. Su and J. Huang 1420 Quantized Control for Nonlinear Stochastic Time-Delay Systems With Missing Measurements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Z. Wang, B. Shen, H. Shu, and G. Wei 1431 Verification of Bounded Discrete Horizon Hybrid Automata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . V. Vladimerou, P. Prabhakar, M. Viswanathan, and G. Dullerud 1445 Inner Approximations for Polynomial Matrix Inequalities and Robust Stability Regions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Henrion and J.-B. Lasserre 1456 Stabilizing Model Predictive Control of Stochastic Constrained Linear Systems . . . . . . . . D. Bernardini and A. Bemporad 1468 Recursive Update Filtering for Nonlinear Estimation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . R. Zanetti 1481 Temporal Logic Control of Discrete-Time Piecewise Affine Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B. Yordanov, J. Tůmová, I. Černá, J. Barnat, and C. Belta 1491